Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.orgยท15h
๐Ÿ“Compression Bounds
A small rant about compression
codecs.multimedia.cxยท2d
๐Ÿ“ฆDeflate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
No Bullshit Guide to Statistics prerelease
minireference.comยท1h
๐ŸงฎKolmogorov Bounds
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
Meta Unveils OpenZL: A New Open Source Data Compression Framework
linuxiac.comยท1d
โšกModern Compression
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
From Static Rate Limiting to Adaptive Traffic Management in Airbnbโ€™s Key-Value Store
medium.comยท1d
๐ŸŒŠStreaming Systems
The Why of PGP Authentication
articles.59.caยท6h
๐Ÿ”‘Cryptographic Protocols
How JPEG Works: The Subtle Beauty and Art of Imperfection
techspot.comยท1d
๐Ÿ–ผ๏ธJPEG XL
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.comยท4dยท
โšกModern Compression
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Intro to RL: Off-Policy Methods
neelsomaniblog.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
In-Depth Analysis: "Attention Is All You Need"
dev.toยท3hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Channel Simulation and Distributed Compression with Ensemble Rejection Sampling
arxiv.orgยท2d
โง—Information Bottleneck
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.devยท1dยท
Discuss: Hacker News
๐Ÿ”Hash Functions
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.orgยท15h
โš™๏ธCompression Benchmarking